121. Calculating with Fortran
پدیدآورنده: Manifold, George O.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، FORTRAN )Computer program language(,، Electronic digital computers-- Programming,، Mathematics-- Data processing
رده :
QA
76
.
73
.
F25
.
M35
122. Categories and computer science
پدیدآورنده: Walters, R. F. C.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Data processing ، Categories )Mathematics(,، Computer programming
رده :
QA
169
.
W3
123. Categories and computer science
پدیدآورنده: / R.F.C. Walters
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Categories (Mathematics)--Data processing,Electronic digital computers--Programming
124. Categories and computer science
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Categories (Mathematics) ; Data processing ; Computer programming ;
125. Categories, types, and structures
پدیدآورنده: Andrea Asperti, Giuseppe Longo.,Asperti, Andrea.
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Programming languages (Electronic computers),Categories (Mathematics)
رده :
QA76
.
7
.
A76
1991
126. Categories, types, and structures
پدیدآورنده: / Andrea Asperti, Giuseppe Longo
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Programming languages (Electronic computers),Categories (Mathematics)
رده :
QA76
.
7
.
A76
1991
127. Categories, types, and structures
پدیدآورنده: / Andrea Asperti, Giuseppe Longo
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Programming languages (Electronic computers),Categories (Mathematics)
رده :
QA76
.
7
.
A76
1991
128. Categories, types, and structures : an introduction to category theory for the working computer scientist
پدیدآورنده: Asperti, Andrea
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Programming languages )Electronic computers(,، Categories )Mathematics(
رده :
QA
76
.
7
.
A76
1991
129. Category theory and computer science
پدیدآورنده: D.H. Pitt, A. Poigne, D.E. Rydeheard )eds.(
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Electronic digital computers - Programming - Congresses,Categories )Mathematics( - Congresses
رده :
QA
.
C388
76
.
6
1987
130. Category theory and computer science
پدیدآورنده: / D.H. Pitt ... [et al.] (ed.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer programming--Congresses,Categories (Mathematics)--Congresses
رده :
QA
,
76
.
6
,.
C3882
,
1989
131. Category theory and computer science
پدیدآورنده: / D.H. Pitt ... (et al.) (ed.)
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Electronic digital computers -- Programming -- Congresses,Categories (Mathematics) -- Congresses
رده :
QA
76
.
6
.
C3882
1989
132. Category theory and computer science : Edinburgh, U.K., September 7-9, 1987 : proceedings
پدیدآورنده: D.H. Pitt, A. Poigne, D.E. Rydeheard )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer programming,Congresses ، Categories )Mathematics(
رده :
QA
76
.
L28
Vol
.
283
133. Category theory and computer science: Edinburgh, U.K., September 7-9, 1987 : proceedings. Edinburgh, U.K., September 7-9, 1987 : proceedings, Lecture notes in comuter science
پدیدآورنده: D.H. Pitt, A. Poigne, D.E. Rydeheard )eds.(
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Computer programming- Congresses,، Categories )Mathematics(- Congresses
رده :
QA
76
.
6
.
C388
1987
134. Category theory and computer science : Manchester, UK, September 5-8, 1989 : proceedings
پدیدآورنده: D.H. Pitt...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer programming,Congresses ، Categories )Mathematics(
رده :
QA
76
.
L28
Vol
.
389
135. Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings
پدیدآورنده: D.H. Pitt ... )et al.( )ed.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Electronic digital computers - Programming,Congresses ، Categories )Mathematics(
رده :
QA
76
.
L4
v
.
389
136. Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings
پدیدآورنده: D.H. Pitt ... )et al.( )ed.(
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Electronic digital computers - Programming - Congresses,Categories )Mathematics( - Congresses
رده :
QA
.
C3882
76
.
6
1989
137. Category theory and computer science: Manchester, UK, September 5-8, 1989, proceedings. Manchester, UK, September 5-8, 1989, proceedings, Lecture notes in comuter science
پدیدآورنده: D.H. Pitt ... ]et al.[ )ed.(
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Computer programming- Congresses,، Categories )Mathematics(- Congresses
رده :
QA
76
.
6
.
C3882
1989
138. Category theory and computer science : 6th International Conference, CTCS 95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings
پدیدآورنده: David Pitt, David E. Rydeheard, Peter Johnstone, eds
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Electronic digital computers - Programming - Congresses , Categories )Mathematics( - Congresses
رده :
QA
76
.
6
.
B53
1995
139. Category theory and computer science : 7th International Conference, CTCS '97,Santa Margherita Ligure, Italy, Sptember 1997: Proceeding
پدیدآورنده: / Eugenio Moggi, Giuseppe Rosolini(eds.)
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Electronic digital computers - Programming - Congresses,Categories (Mathematics) - Congresses
رده :
QA76
,.
6
.
B53
140. Category theory & computer programming:tutorial & workshop,
پدیدآورنده: PITT,DAVID H
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , CATEGORIES )MATHEMATICS(
رده :
QA
76
.
6
.
C387
1985
